Перегляд за автором "Шевченко, Р.С."

Результати 1-7 з 7

n- исчисление – реалистичная формализация класса переписывающих систем

Шевченко, Р.С.; Дорошенко, А.Е. (2011)

Предложен новый формализм типизированного η-исчисления в качестве теоретической основы для по-строения специальных классов систем программирования на основе переписывающих правил. Форма-лизм использует упорядоченные ...
TermWare-3 – система переписування термів, заснована на контекстному численні

Шевченко, Р.С.; Дорошенко, А.Ю. (Проблеми програмування, 2019)

У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та ...
Засіб статичного аналізу .NET програм за допомогою переписувальних правил

Мамедов, Г.А.; Дорошенко, А.Ю.; Шевченко, Р.С. (Проблеми програмування, 2020)

Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті ...
О моделировании сенсорних сетей средствами високого уровня

Дорошенко, А.Е.; Жереб, К.А.; Шевченко, Р.С. (2006)

Развитие полупроводниковых технологий сделало возможным создание беспроводных сенсорных сетей. Для таких сетей необходимо создание систем моделирования, позволяющих выбирать оптимальные протоколы для каждой прикладной задачи. ...
Применение систем переписывания термов к анализу исходного программного кода

Дорошенко, А.Е.; Шевченко, Р.С. (2008)

Описана система переписывания термов TermWare и ее применение к задачам анализа и преобразования исходного кода. Особенностью подхода является комбинирование декларативного и императивного стилей программирования и построение ...
Система символьных вычислений для программирования динамических приложений

Дорошенко, А.Е.; Шевченко, Р.С. (2003)

Описана система символьных вычислений, предназначенная для встраивания в промышленные приложения с целью обеспечения их гибкости и настраиваемости соответственно изменяющимся требованиям и условиям функционирования. Предложен ...
Формальні та адаптивні методи й інструментальні засоби паралельного програмування

Дорошенко, А.Ю.; Бекетов, О.Г.; Жереб, К.А.; Іваненко, П.А.; Овдій, О.М.; Шевченко, Р.С.; Яценко, О.А. (Проблеми програмування, 2017)

Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці ...

Результати 1-7 з 7

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Шевченко, Р.С."

Репозиторій DSpace/Manakin

Перегляд за автором "Шевченко, Р.С."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис